Mathematical Programming - PDFSEARCH.IO - Document Search Engine

Mathematical Programming
Results: 4310

#	Item
211	Microsoft PowerPoint - SASyLF-wmm08-web.ppt Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2008-10-15 15:02:54 Theoretical computer science Mathematics Type theory Mathematical logic Formal methods Logic in computer science Programming language theory Twelf POPLmark challenge Lambda calculus Theorem Formal language
212	Unleashing the Verification Genie in the Cloud Nikolaj Bjørner Microsoft Research, One Microsoft Way, Redmond, WA, 98074, USA Abstract Z3 is a state-of-the-art SMT (Satisfiability Modulo Theories) Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-01 03:01:08 Mathematics Theoretical computer science Mathematical logic Predicate logic Constraint programming Electronic design automation Logic in computer science Satisfiability modulo theories Z3 First-order logic Language Integrated Query Computer program
213	Geoinformatica DOIs10707Task selection in spatial crowdsourcing from worker’s perspective Dingxiong Deng1 · Cyrus Shahabi1 · Add to Reading List Source URL: infolab.usc.edu Language: English - Date: 2016-05-21 03:16:43 Mathematics Graph theory Operations research Computational complexity theory Combinatorial optimization Mathematical optimization Travelling salesman problem Dynamic programming Algorithm Approximation algorithm Heterogeneous Earliest Finish Time Assignment problem
214	Energy minimization via conic programming hierarchies David de Laat (TU Delft) SIAM conference on optimization May 20, 2014, San Diego Add to Reading List Source URL: www.daviddelaat.nl Language: English Gravitation Potential energy Mathematical optimization Physics Quantum field theory
215	A Rigorous Generic Branch and Bound Solver for Nonlinear Problems Andrew P. Smith C´esar A. Mu˜noz and Anthony J. Narkawicz Mantas Markevicius National Institute of Aerospace NASA Langley Research Center Add to Reading List Source URL: shemesh.larc.nasa.gov Language: English - Date: 2015-08-18 13:33:42 Mathematics Equations Polynomials Numerical analysis Algebra Operations research Global optimization System of polynomial equations Mathematical optimization Linear programming Constraint satisfaction Interval arithmetic
216	227 Documenta Math. Markowitz and Manne + Eastman + Land and Doig = Branch and Bound Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2012-07-25 10:25:04 Mathematics Operations research Mathematical optimization Combinatorial optimization Applied mathematics Travelling salesman problem Branch and bound Linear programming relaxation Integer programming Branch and cut Linear programming Algorithm
217	FoCaLiZe! Programming and Proving! A Bit Under the Hood François Pessaux - ENSTA ParisTech (U2IS) Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-04-14 11:22:28 Software engineering Computer programming Programming language theory Functional languages Functional programming Procedural programming languages Mathematical proof Coq OCaml Natural deduction Mathematical logic ALGOL 68
218	UCT for PCG Cameron Browne Imperial College London South Kensington, UK Abstract—This paper describes initial experiments in the use Add to Reading List Source URL: eldar.mathstat.uoguelph.ca Language: English - Date: 2016-07-12 12:05:04 Mathematics Computer programming Mathematical games Polyforms Software engineering Search algorithms Mathematical optimization Data types Monte Carlo tree search Pentomino Genetic algorithm Tree traversal
219	Contents 1 Introduction and Installation 1.1 What is Julia and Why Julia? 1.2 Julia in the Cloud: JuliaBox 1.3 Installing JuliaInstalling Gurobi Add to Reading List Source URL: www.chkwon.net Language: English - Date: 2016-08-04 11:55:32 Mathematical optimization Numerical analysis Mathematical analysis Operations research Analysis Numerical software Approximations Relaxation Linear programming Nl CPLEX Quadratic programming
220	Preprocessing Techniques for QBFs Enrico Giunchiglia1 , Paolo Marin1 , and Massimo Narizzano1 DIST - Universit`a di Genova Viale Causa 13, 16145 Genova, Italy Abstract Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2008-12-04 03:03:35 Mathematics Mathematical logic Theoretical computer science Automated theorem proving Boolean algebra Logic programming Resolution True quantified Boolean formula Clause Conflict-Driven Clause Learning DPLL algorithm

UPDATE